#ifndef ModifiesTest_h
#define ModifiesTest_h

#include <cppunit/extensions/HelperMacros.h>
#include "../../source/Modifies.h"

class ModifiesTest : public CPPUNIT_NS::TestFixture
{
	CPPUNIT_TEST_SUITE( ModifiesTest );
	CPPUNIT_TEST( testSetModifiesStmtAndGetModifiedByStmt );
	CPPUNIT_TEST( testHasEntryFirstParamModifies );
	
	CPPUNIT_TEST_SUITE_END();

	public:
		void setUp();
		void tearDown();
		void testSetModifiesStmtAndGetModifiedByStmt();
		void testHasEntryFirstParamModifies();
		Modifies* modifies;
};
#endif